Formal Techniques For Distributed Objects, Components, And Systems

Formal Techniques For Networked And Distributed Systems Forte 2001

Formal Techniques For Distributed Systems 11th Ifip Wg 6.1

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

Formal Methods For Components And Objects 11th International

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Formal Methods For Protocol Engineering And Distributed Systems Forte

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Type Systems For Distributed Programs: Components And Sessions 3320

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Formal Techniques For Safety-critical Systems Third International

Formal Techniques For Safety-critical Systems | Peter Csaba Ölveczky

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Formal Methods For Analyzing Privacy Policies Techniques For Formal

Designing Reliable Distributed Systems A Formal Methods Approach Based

Myungchul Kim (u. A.) | Formal Techniques For Networked And